$\forall$$b$:$\mathbb{B}$. ($b$ $\sim$ tt) $\vee$ ($b$ $\sim$ ff)